61. Compiler Generators :
Author: by Mads Tofte.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
76
.
C65
B963
1990
62. Computational Logic - CL 2000 :
Author: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture.,Computer science.,Software engineering.
Classification :
QA76
.
9
.
L63
E358
2000
63. Computational Methods in Stochastic Dynamic
Author: / edited by Manolis Papadrakakis, George Stefanou, Vissarion Papadopoulos
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Engineering,Computer science,Vibration,Electronic books
Classification :
E-BOOK
64. Computational logic and set theory :
Author: Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Set theory
Classification :
QA248
.
S39
2011eb
65. Computational matter /
Author: Susan Stepney, Steen Rasmussen, Martyn Amos, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic data processing.,Natural computation, Congresses.,Soft computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing.,Natural computation.,Soft computing.
Classification :
QA76
66. Computer Aided Systems Theory - EUROCAST '95 :
Author: edited by Franz Pichler, Roberto Moreno Díaz, Rudolf Albrecht.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computers, Special purpose.,Microprocessors.
Classification :
TA345
.
E358
1996
67. Computer Aided Verification :
Author: edited by Rajeev Alur, Thomas A. Henzinger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
68. Computer Aided Verification :
Author: edited by Gregor Bochmann, David Karl Probst.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
69. Computer Aided Verification :
Author: Isil Dillig, Serdar Tasiran (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
758
.
C38
2019
70. Computer Engineering and Technology :
Author: edited by Weixia Xu, Liquan Xiao, Pingjing Lu, Jinwen Li, Chengyi Zhang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Memory management (Computer science)
71. Computer Graphics :
Author: edited by Tosiyasu L. Kunii.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics.,Computer science.,Computer-aided design.
Classification :
T385
.
E358
1983
72. Computer aided verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I
Author: / edited by Isil Dillig, Serdar Tasiran.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programs -- Verification -- Congresses.,Software engineering.,Computer science.,Computer science.,Computer programs.,Software engineering.
73. Computer and communication engineering :
Author: Miguel Botto-Tobar, Julio Barzola-Monteses, Eduardo Santos-Baquerizo, Mayken Espinoza-Andaluz, Wendy Yánez-Pazmiño (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering, Congresses.,Computer networks, Congresses.,Software engineering, Congresses.,Computer engineering.,Computer networks.,Software engineering.
Classification :
TK7885
.
A1
74. Computer performance engineering :
Author: Nigel Thomas (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering, Congresses,Computer systems-- Evaluation, Congresses,Computers-- Reliability, Congresses,Formal methods (Computer science), Congresses
Classification :
QA76
.
9
.
E94
E64
2011
75. Computer supported education :
Author: Bruce M. McLaren, Rob Reilly, Susan Zvacek, James Uhomoibhi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-assisted instruction, Congresses.,Education-- Data processing, Congresses.,Computer-assisted instruction.,Education-- Data processing.
Classification :
LB1028
.
5
76. Computing in Horn Clause Theories
Author: by Peter Padawitz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
6
B974
1988
77. Conceptual modeling :
Author: Juan C. Trujillo, Karen C. Davis, Xiaoyong Du, Zhanhuai Li, Tok Wang Ling, Guoliang Li, Mong Li Lee (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Database design, Congresses.,Web databases, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Database Management.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Software Engineering.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Data mining.,Database design.,Databases.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Web databases.
Classification :
QA76
.
9
.
D26
78. Conceptual modeling--ER 2011 :
Author: Manfred A. Jeusfeld, Lois Delcambre, Tok Wang Ling (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses,Conceptual structures (Information theory)-- Congresses,Database design, Congresses,Relational databases-- Congresses
Classification :
QA76
.
9
.
C65
I58
2011
79. Concurrency, Compositionality, and Correctnes
Author: / edited by Dennis Dams, Ulrich Hannemann, Martin Steffen
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science.,Software engineering.,Computer software.,Logic design.
80. Constructive Methods in Computing Science :
Author: edited by Manfred Broy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA75
.
5
E358
1989
